Finally, the end of a charade: Microsoft buys Nokia